Quintus Prolog - определение. Что такое Quintus Prolog
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое Quintus Prolog - определение

YAP-Prolog; Yet Another Prolog; YAP Prolog
Найдено результатов: 196
Quintus Prolog      
<language, product> A version of Prolog developed by Quintus. Development of Quintus Prolog had transferred to the Swedish Institute of Computer Science by December 1998. ftp://ftp.quintus.com/. Telephone: +1 (800) 542 1283. [More details? Features?] (1998-12-12)
RKHV Quintus         
  • Venue: Eekhout Hall
  • 44x44px
DUTCH HANDBALL CLUB
Van der Voort Quintus; Van der Voort - Quintus; HV Quintus
RKHV Quintus is a handball club from Kwintsheul, Netherlands. Both men and woman's team compete in the highest league in the Netherlands; Eredivisie.
Quintus Smyrnaeus         
  • ''Posthomerica'', 1541
ANCIENT GREEK POET
Quintus of Smyrna; Quintus Smyrneus; The Fall of Troy (book); Quintus Calabrus
Quintus Smyrnaeus (also Quintus of Smyrna; , Kointos Smyrnaios) was a Greek epic poet whose Posthomerica, following "after Homer", continues the narration of the Trojan War. The dates of Quintus Smyrnaeus' life and poetry are disputed: by tradition, he is thought to have lived in the latter part of the 4th century AD, but early dates have also been proposed.
Quintus Hortensius         
ROMAN LAWYER, STATESMAN AND ORATOR (CONSUL 69 BC)
Hortensius; Quintus Hortensius Hortalus; Hortensius, Quintus
Quintus Hortensius Hortalus (114–50 BC) was a famous Roman lawyer, a renowned orator and a statesman. Politically he belonged to the Optimates.
Quintus Fulvius Flaccus (consul 237 BC)         
POLITICIAN
Quintus flaccus; Quintus Flaccus
Quintus Fulvius Flaccus (c. 277 BC202 BC), son of Marcus Fulvius Flaccus (consul 264 BC), was consul in 237 BC, fighting the Gauls in northern Italy.
PROLOG         
PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC
Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog
PROgramming in LOGic
Prolog         
PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC
Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog
·noun & ·v Prologue.
Prolog         
PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC
Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog
<programming> Programming in Logic or (French) Programmation en Logique. The first of the huge family of {logic programming} languages. Prolog was invented by Alain Colmerauer and Phillipe Roussel at the University of Aix-Marseille in 1971. It was first implemented 1972 in ALGOL-W. It was designed originally for natural-language processing but has become one of the most widely used languages for artificial intelligence. It is based on LUSH (or SLD) resolution {theorem proving} and unification. The first versions had no user-defined functions and no control structure other than the built-in depth-first search with backtracking. Early collaboration between Marseille and Robert Kowalski at University of Edinburgh continued until about 1975. Early implementations included C-Prolog, ESLPDPRO, Frolic, LM-Prolog, Open Prolog, SB-Prolog, {UPMAIL Tricia Prolog}. In 1998, the most common Prologs in use are Quintus Prolog, SICSTUS Prolog, LPA Prolog, {SWI Prolog}, AMZI Prolog, SNI Prolog. ISO draft standard at {prolog/standard/">Darmstadt, Germany (ftp://ftp.th-darmstadt.de/pub/programming/languages/prolog/standard/)}. or UGA, USA (ftp://ai.uga.edu/ai.prolog.standard). See also negation by failure, Kamin's interpreters, Paradigms of AI Programming, Aditi. A Prolog interpreter in Scheme. ftp://cpsc.ucalgary.ca/pub/prolog1.1. {A Prolog package (ftp://cpsc.ucalgary.ca/pub/prolog1.1/prolog11.tar.Z)} from the University of Calgary features delayed goals and interval arithmetic. It requires Scheme with continuations. ["Programming in Prolog", W.F. Clocksin & C.S. Mellish, Springer, 1985]. (2001-04-01)
Prolog         
PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC
Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog
['pr??l?g]
¦ noun Computing a high-level computer programming language first devised for artificial intelligence applications.
Origin
1970s: from the first elements of programming and logic.
SICStus Prolog         
PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC
Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog
A Prolog from the SICS (Swedish Inst of Comp Sci). E-mail: <sicstus-request@sics.se>. Mailing list: sicstus-users@sics.se. (1995-01-05)

Википедия

YAP (Prolog)

YAP is an open-source, high-performance implementation of the Prolog programming language developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus Prolog and SICStus Prolog. YAP has been developed since 1985. The original version was written in assembly, C and Prolog, and achieved high performance on m68k-based machines.